The Plume team participates in the fundamental computer science [informatique fondamentale] theme of the FIL. Our research focuses on foundations for correct software with the particularity of combining expertise in ‘a priori’ methods for correctness by construction and ‘a posteriori’ methods for correctness by verification rooted in a common mathematical structures pole. We make extensive use of tools such as category … Continue reading Preuves & Langages : Un Manège Enchanté